x := proc(a) return := a end;
y := x(5)